Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
11	CascadeCompetition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at NYU. Add to Reading List Source URL: www.cs.nyu.edu - Date: 2016-01-23 11:34:02
12	Static Program Analysis Mooly Sagiv Challenges in Proving Correctness • Specifying what the program is supposed to Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-04-28 09:12:07
13	Theory of Static Program Analysis Mooly Sagiv Textbook: Principles of Program Analysis Chapter 4, Appendix A Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-05-05 07:33:01
14	Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat Add to Reading List Source URL: www.cs.nyu.edu - Date: 2015-01-29 13:02:34
15	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
16	A Case for Static Analyzers in the Cloud (Position paper) Michael Barnett1 Mehdi Bouaziz2 Manuel F¨ahndrich1 Francesco Logozzo1 1 2 Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Software engineering Evaluation Abstract interpretation Cloud computing Static program analysis Server Analysis AbsInt
17	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Computer architecture Software engineering Programming language implementation Alias analysis Static program analysis Minicomputers X86 assembly language Program counter Assembly language PDP-8 Random-access machine
18	Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2015-02-16 13:00:00 Software engineering Compiler optimizations Compiler construction Programming language theory Computing Data-flow analysis Control flow graph Variable Scope Static single assignment form Aliasing Program analysis
19	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
20	Aachen Department of Computer Science Technical Report Better termination proving through cooperation Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2013-04-14 08:37:31 Graph theory Mathematics Discrete mathematics Static program analysis Termination analysis Graph Cograph KeY IP Ear decomposition

UPDATE